Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐ŸคUnification Algorithms
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท9h
๐Ÿ’ŽInformation Crystallography
An enough week
blog.mitrichev.chยท23hยท
๐ŸงฎZ3 Solver
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.orgยท2h
๐Ÿ“Mathematical Art
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
Estimating Fair Graphs from Graph-Stationary Data
arxiv.orgยท15h
๐ŸŒˆSpectral Methods
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.orgยท15h
๐ŸงฎVector Embeddings
Complex networks-based anomaly detection for financial transactions in anti-money laundering
sciencedirect.comยท2d
๐ŸงฌPostgreSQL Forensics
Neuro-Symbolic AI
en.wikipedia.orgยท4hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.orgยท1d
๐ŸงฎKolmogorov Complexity
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.orgยท1d
๐Ÿ•ธ๏ธGraph Algorithms
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.orgยท1d
๐Ÿ“ŠGraph Databases
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.comยท2hยท
Discuss: Hacker News
๐Ÿ“Linear Algebra
In-Depth Analysis: "Attention Is All You Need"
dev.toยท3hยท
Discuss: DEV
๐Ÿง Intelligence Compression
Efficient and accurate search in petabase-scale sequence repositories
nature.comยท2dยท
Discuss: Hacker News
๐Ÿ”„Burrows-Wheeler
On knot detection via picture recognition
arxiv.orgยท1d
๐Ÿ•ธ๏ธAlgebraic Topology
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.orgยท15h
๐Ÿง Machine Learning
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle